#include <stdio.h>
#include <cstdint>

void init_monitor(int,char*[]);
void init_sim_tool(void);
void cpu_rst(void);
void sdb_mainloop();
void sdb_exit();
int is_exit_status_bad();
int main(int argc,char *argv[])
{
init_sim_tool();
init_monitor(argc,argv);
cpu_rst();
sdb_mainloop();
sdb_exit();
return is_exit_status_bad();
}
